Symbolic system - PDFSEARCH.IO - Document Search Engine

Symbolic system
Results: 148

#	Item
81	Symbolic Execution of Distributed Software MEng Final Report Written by Milen Dzhumerov Supervisor: Peter Pietzuch Second Supervisor: Cristian Cadar Add to Reading List Source URL: assets.milen.me Language: English - Date: 2015-03-09 10:58:44 Distributed computing Model checking File system Symbolic execution
82	Stefan Meretz (September[removed]Meaning Concepts used in Psychology and Computer Sciences Abstract. This paper argues that the "meaning problem" cannot be treated within the cognitive framework. Many proposals using the Add to Reading List Source URL: www.kritische-informatik.de Language: English - Date: 2009-04-20 07:15:33 Science Semantics Logic Philosophical logic Semiotics Symbolic system Cognitive science Language Interpretation Philosophy of language Analytic philosophy Meaning
83	The extended-2 lesystem overview Gadi Oxman, [removed] v0.1, August[removed]Contents Add to Reading List Source URL: www.osdever.net. Language: English - Date: 2012-05-30 02:15:52 Computer architecture Ext2 Inode Stat Extended file system File system Symbolic link GNU Hurd Unix File System Disk file systems System software Data management
84	Perl versiondocumentation - Archive::Tar::File NAME Archive::Tar::File - a subclass for in-memory extracted file from Archive::Tar SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:47:49 Archive formats Tar Computer file File format Data file Stat Ar Symbolic link Computing Software System software
85	A General System for Learning and Reasoning in Symbolic Domains Claes Stranneg˚ard1 , Abdul Rahim Nizamani2 , and Ulf Persson3 1 Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Add to Reading List Source URL: agi-conf.org Language: English - Date: 2014-08-18 09:36:06 Logic in computer science Functions and mappings Lambda calculus Function Combinatory logic Aterm Axiom Algorithm Ordinal number Mathematics Mathematical logic Logic
86	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-02-15 14:07:11 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing
87	The transformation between symbolic system and dance/movement Add to Reading List Source URL: ausdance.org.au Language: English - Date: 2013-03-17 19:20:27 Dance research Valerie Preston-Dunlop Laban Movement Analysis Rudolf von Laban Movement studies Benesh Movement Notation Laban Dance Centre Lisa Ullmann Dance Dance notation Entertainment
88	Extract From: AMD Newsletter Vol. 8, No. 1, 2011 (pages: 6--7) http://www.cse.msu.edu/amdtc/amdnl/AMDNL-V8-N1.pdf Response to: Dialog Column Are Natural Languages Symbolic in the Brain? by Juyang Weng Meaning-bearers in Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-10-28 19:51:03 System software Aaron Sloman Cognitive science Virtual machine Mind OpenVMS Computing Philosophy of mind Science
89	Disenchantment [removed]Astrology Week 1 HST 115 (semester 2) Expanded extracts from Article: Ann Geneva, This World’s Spent: The Decline of Astrology as a symbolic Language system’, p. 278. Add to Reading List Source URL: humbox.ac.uk Language: English - Date: 2011-08-25 13:38:39 Exaltation Zodiac Planets in astrology Astrology Pseudoscience Astrological signs
90	PDF Document Add to Reading List Source URL: openwetware.org Language: English - Date: 2013-02-19 18:27:10 Ln Sirius Satellite Radio File system Folder Pipeline Computer file Windows Vista Computing Inter-process communication Symbolic link

UPDATE